(third_composition rule: 1